Reconciling Autonomy with Narratives in the Event Calculus
نویسندگان
چکیده
Developing believable and realistic characters for interactive, computer-based forms of entertainment is a hard work. To make them perform specific tasks or take initiatives given a narrative is even more challenging. In this paper we introduce a novel agent design approach that reconciles autonomy with instructability and narrative in one agent architecture. The approach is based on a highly developed logical theory of action and a powerful highlevel behaviour specification language (BSL) that is developed from the underlying logical formalism, i.e. the event calculus. Using BSL, agents’ behaviours can be specified and controlled more naturally and intuitively, more succinctly and at a much higher level of abstraction than would otherwise be possible. We also briefly discuss the implementation issues relevant to this approach.
منابع مشابه
Reconciling the Event Calculus With the Situation Calculus
In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation of the event calculus from the situation calculus requires the use of induction, our derivation of ...
متن کاملFormalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall short. To address narratives, Pinto and Reiter have extended Situation Calculus axioms, Kowalski and Sergot have introduced the Event Calculus in Logic Programming, and Baral et al. have de ned the speci cation language L ...
متن کاملIranian TEFL Graduates’ Conceptions of Measurement Error in Research: A Genealogical Narrative Inquiry
The aim of this study is to investigate Iranian TEFL graduates’ conception of measurement error in research. Adopting a sequential explanatory multi-method strategy (Borg, 2009), the researchers analyzed causal and temporal relations in the research narratives elicited from 30 TEFL graduates. Gee’s (1986) framework for identifying narrative discourse units (lines, stanzas, and episodes) was ado...
متن کاملFormalizing Narratives using Nested Circumscription and Value Minimization
Representing and reasoning about narratives together with the ability to do hypothetical reasoning is important for agents in a dynamic world. These agents need to record their observations and action executions as a narrative and at the same time, to account for exogenous changes in the world, need to make plans (or re-plan) from the current situation. The early formalisms that reasoned about ...
متن کاملNarratives in the Situation Calculus
A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action may be broadly divided into those which are narrative-based, such as the Event Calculus of Kowalski and Sergot, and those which reason on the level of hypothetical sequences of actions, in particular the Situation Calculus. This paper bridges the gap between these types...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002